Recursive language - PDFSEARCH.IO - Document Search Engine

Recursive language
Results: 94

#	Item
41	The Definitive ANTLR 4 Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-09-15 16:49:04 Formal languages Computing Compiler construction Top-down parsing Lookahead ANTLR Left recursion Recursive descent parser LR parser Programming language implementation Parsing Software engineering
42	The Definitive ANTLR 4 Reference Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2012-09-15 16:49:53 Software engineering Software Formal languages ANTLR Compiler construction Compiler-compiler Recursive descent parser Left recursion Top-down parsing Programming language implementation Parser generators Parsing
43	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-18 13:46:26 Compiler construction Programming language implementation Parser generators LL parser Parsing ANTLR Recursive descent parser LR parser Interpreter Computing Software engineering Computer programming
44	Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:11 Programming language theory Computing Recursive data type Papyrus 1 Type system Type safety Generic programming Type theory Data types Software engineering
45	Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Mathematics Type constructor Recursive data type Type system Turn Ordinal number Curry–Howard correspondence Type theory Mathematical logic Data types
46	Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell University Ithaca, NY 14850, USA Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Software engineering Symbol Recursive data type Constructor Turn Type system Binding Ordinal number Type theory Mathematical logic Data types
47	Microsoft Word - 13-Syntax-Directed-Translation.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:10:56 Programming language implementation Computing Attribute grammar LL parser Recursive descent parser Bottom-up parsing Parsing Terminal and nonterminal symbols GNU bison Compiler construction Formal languages Software engineering
48	Flexible Type Analysis Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:26 Programming language theory Mathematics Type constructor Type system Recursive data type Turn Constructor Ordinal numbers Curry–Howard correspondence Type theory Mathematical logic Data types
49	COLLECTION, LEMMAS, REFLECTION ALBERT VISSER Σ1 -collection is a basic principle of thought. In one of its forms it tells us that a recursive function on a finite set of natural numbers is bounded. The principle is so d Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:55 Logical syntax Philosophical logic Philosophy of language Theorems Lemma Logic Mathematics Logical consequence
50	Parsing Natural Scenes and Natural Language with Recursive Neural Networks Richard Socher Cliﬀ Chiung-Yu Lin Andrew Y. Ng Christopher D. Manning Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2011-06-16 20:02:01 Computational neuroscience Compiler construction Parsing Segmentation Natural language processing Parse tree Algorithm Neural network Search engine indexing Information science Science Linguistics

UPDATE